Understanding Specification Languages through Their Model Theory
نویسندگان
چکیده
This paper studies the design of specification languages through their model theory. We show how language constructs and specification idioms are deeply rooted in the underlying model theory. We also show that some problems are fundamentally difficult to specify due to the underlying foundation of the language. The languages we study are Alloy, Maude, and FORMULA. FORMULA attempts to handle a large class of specifications problems while utilizing constraint solvers for formal analysis.
منابع مشابه
Book Review: "Developing Expertise Through Experience"
The book ‘Developing expertise through experience’consists of twenty chapters written by language educators. Alan Maley has edited the book. The writers of the chapters have written their stories and experiences about learning English and being an Educator with regard to the notion of ‘sense of plausibility’ defined by Prabhu. Prabhu explains that plausibility in pedagogy is teachers’ intuition...
متن کاملA hierarchical graph model of the
The problem of developing an adequate formal model for the semantics of programming languages has been under intensive study in recent years. Unlike the area of syntax specification, where adequate models have existed for some time, the area of semantic specification is still in the formative stages. Development of formal semantic models has proceeded along two main lines, lambda-calculus model...
متن کاملSelecting the Best Fit Model in Cognitive Diagnostic Assessment: Differential Item Functioning Detection in the Reading Comprehension of the PhD Nationwide Admission Test
This study was an attemptto provide detailed information of the strengths and weaknesses of test takers‟ real ability through cognitive diagnostic assessment, and to detect differential item functioning in each test item. The rationale for using CDA was that it estimates an item‟s discrimination power, whereas clas- sical test theory or item response theory depicts between rather within item mu...
متن کاملFactors Affecting Usage of Computer-Assisted Audit Techniques with Emphasizing Auditor’s Characteristics: Unified Theory of Acceptance and Use of Technology
The aim of this study is to design a model of factors affecting on usage of computer-assisted audit techniques based on the unified theory of acceptance and use of technology with considering auditor’s characteristics. This research is descriptive-survey in terms of data collection with an applied purpose. Statistical population includes auditors employed in audit firms that 311 auditors are s...
متن کاملMixed Specification Logic
Separation of concerns or aspects is nowadays recognized as an important issue in software engineering, both at the programming and at the design/specification level. The goal of mixed specification languages is to take into account all or at least several aspects of systems. We found out from our experience that a lot of mixed specification languages do share most of their features. However, s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012